[IA64] sync console before halt/reboot

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/arch/ia64/xen/domain.c b/xen/arch/ia64/xen/domain.c
index 354e39c1751405a1418e4e4fa68a7786b9767e4d..3d1983add8f0fd3e72d6830e3b25f52df7612ab3 100644 (file)
--- a/xen/arch/ia64/xen/domain.c
+++ b/xen/arch/ia64/xen/domain.c
@@ -929,6 +929,7 @@ int construct_dom0(struct domain *d,
 
 void machine_restart(char * __unused)
 {
+       console_start_sync();
        if (running_on_sim)
                printf ("machine_restart called.  spinning...\n");
        else
@@ -938,6 +939,7 @@ void machine_restart(char * __unused)
 
 void machine_halt(void)
 {
+       console_start_sync();
        if (running_on_sim)
                printf ("machine_halt called.  spinning...\n");
        else